design by contract
契約による設計
component-based software engineering
Correctness
(computer science)
Defensive programming
Fail-fast
Formal methods
Hoare logic
Modular programming
program derivation
program refinement
Strong typing
Test-driven development
typestate analysis
/suto3/google.icon
design by contract
image
design by contract
define
design by contract
wikipedia
design by contract
weblio
design by contract
kotobank
design by contract
jisho
design by contract